<?php
function insert_addthis($args) {
// So we don't overload a particular AddThis server, we randomly pick one
$r = mt_rand(2,9);
if (!($r % 2))
	$r++;
echo <<<END
	<!-- AddThis Button BEGIN -->
	<script type="text/javascript">var addthis_pub = "$args[id]";</script>
	<a href="http://www.addthis.com/bookmark.php" onmouseover="return addthis_open(this, '', '[URL]', '[TITLE]')" onmouseout="addthis_close()" onclick="return addthis_sendto()"><img src="http://s$r.addthis.com/static/btn/lg-share-en.gif" width="125" height="16" border="0" alt="" /></a><script type="text/javascript" src="http://s$r.addthis.com/js/152/addthis_widget.js"></script>
	<!-- AddThis Button END -->
END;
}
?>